sequent calculus
[网络] 相继式演算
热门查询
- intensified 加强的
- bn abbr. 护理学士（Bachelor of Nursing）；平衡网络（Balancing Network）
- honorary n. 名誉学位；获名誉学位者；名誉团体 adj. 荣誉的；名誉的；道义上的
- Joshua n. 约书亚；约书亚书
- lima n. 利马（秘鲁首都）
- hustle n. 推；奔忙；拥挤喧嚷 vt. 催促；猛推；强夺 vi. 赶紧；硬挤过去；骗取财富
- gelatine n. 胶质；果子冻；白明胶
- haulier n. 货运马车夫；拖曳者，承运人
- expostulate vi. 劝诫，告诫；忠告
- configuration n. 配置；结构；外形
- spacewalk n. 太空漫步，太空行走；航天舱外活动
- quayside n. 码头周围地区
- dialling n. <主英>（电话）拨号音
- herein adv. 此中，于此；焉；在这方面 n. （捷）赫赖因（人名）
- glutton n. 酷爱…的人；贪吃的人
- Karnak n. 卡纳克神庙（位于尼罗河中游的路克索）
- presentness n. present的变形
- Banham [人名] [英格兰人姓氏] 班纳姆住所名称，来源于古英语，含义是“豆+宅地”(beans+homestead); [地名] [英国] 巴纳姆
- labyrinthine adj. 迷宫的；复杂的
- tightened adj. 拉紧的，加固的 v. 拉紧；固定；加严（tighten的过去式形式）；使紧密
考试词汇表
- koinomatter (ordinary matter)
- kokscharoffite (koksharovite)
- kolmogorov arnold moser torus
- kolmogorov-smirnov statistics
- konsen plain (kushiro-heiya )
- kopps law of additive volumes
- kopsininic acid methochloride
- kormantine upper (cormantine)
- kralupy nad vltavou (kralupy)
- krebstrecarboxylic acid cycle
- ksr-keyboard send-receive set
- kubler's illite crystallinity
- kupferarsenuranit (zeunerite)
- kupfereisenvitriol (pisanite)
- kwajalein missile range (kmr)
- l cone (long-wavelength cone)
- l methylimidazolylacetic acid
- l-(-)-dibenzoyl tartaric acid
- l-dodecylazacycloheptan-2-one
- l-histidine monohydrochloride
